[[Axiomatic set theory]]
# Structural set theory

A **structural set theory** is a set theory describing only [[Structuralism|structural]] mathematics,
where sets are completely characterized by their relation to other sets.
[[F. William Lawvere]] describes such set theories as prioritizing [[Form]] over [[Substance]].


## Possible systems

- [[ETCS]]


#
---
#state/develop | #lang/en | #SemBr